Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)
نویسندگان
چکیده
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441) Holger Giese, Bernhard Rumpe, Bernhard Schätz, and Janos Sztipanovits . . . . . . . . 1 Data Mining, Networks and Dynamics (Dagstuhl Seminar 11451) Lars Elden and Andreas Frommer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 Analysis of Dynamic Social and Technological Networks (Dagstuhl Seminar 11452) Vito Latora, Cecilia Mascolo, and Mirco Musolesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 Coding Theory (Dagstuhl Seminar 11461) Joachim Rosenthal, M. Amin Shokrollahi, and Judy L. Walker . . . . . . . . . . . . . . . . . . . 50 Efficient Algorithms for Global Optimisation Methods in Computer Vision (Dagstuhl Seminar 11471) Andrés Bruhn, Thomas Pock, and Xue-Cheng Tai . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 [email protected] (Dagstuhl Seminar 11481) Uwe Aßmann, Nelly Bencomo, Betty H.C. Cheng, and Robert B. France . . . . . . . . . 91
منابع مشابه
Dagstuhl Seminar 11441 Science and Engineering of Cyber - Physical Systems
Today, a new category of engineering systems is emerging that combines the physical with the computational in a holistic way: Cyber-physical systems (CPS). The key property of these systems is that functionality and salient system properties are emerging from an intensive interaction of physical and computational components. Traditional separation along engineering disciplines in the design of ...
متن کاملEfficient Algorithms for Global Optimisation Methods in Computer Vision (Dagstuhl Seminar 11471)
Today, a new category of engineering systems is emerging that combines the physical with the computational in a holistic way: Cyber-physical systems (CPS). The key property of these systems is that functionality and salient system properties are emerging from an intensive interaction of physical and computational components. Traditional separation along engineering disciplines in the design of ...
متن کاملScience and Engineering of Cyber - Physical Systems
Today, a new category of engineering systems is emerging that combines the physical with the computational in a holistic way: Cyber-physical systems (CPS). The key property of these systems is that functionality and salient system properties are emerging from an intensive interaction of physical and computational components. Traditional separation along engineering disciplines in the design of ...
متن کاملFormal Synthesis of Cyber-Physical Systems
This report documents the program and the outcomes of Dagstuhl Seminar 17201 “Formal Synthesis of Cyber-Physical Systems.” Formal synthesis is the application of algorithmic techniques based on automata and logic to the design of controllers for hybrid systems in which continuous components interact with discrete ones. The Dagstuhl seminar brought together researchers from control theory and fr...
متن کاملDagstuhl Seminar 14122 Verification of Cyber - Physical Systems
Cyber-physical systems refer to a new genre of engineered systems consisting of a tight coupling between computation, communication and physical entities. The main focus of the seminar was to discuss issues related to the reliable development of cyber-physical systems by using formal verification. This is a multi-disciplinary area requiring collaboration between areas focusing discrete systems ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Dagstuhl Reports
دوره 1 شماره
صفحات -
تاریخ انتشار 2011